\relax 
\citation{citeulike:1362491}
\citation{Ray04anaspect-based}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Problem Statement}{1}}
\newlabel{sec:intro_statement}{{1}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Background}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Problem Statement}{1}}
\citation{Rei91}
\citation{LucQinSouTej:11}
\citation{citeulike:1362491}
\citation{DBLP:conf/issre/TraonMB07}
\citation{DBLP:conf/policy/KalamBMBCSBDT03}
\citation{DBLP:journals/entcs/CuppensCG07}
\@writefile{toc}{\contentsline {section}{\numberline {2}Running Example}{3}}
\newlabel{sec:running_example}{{2}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Transforming Access Control Policies into Model Properties}{3}}
\newlabel{sec:models_acp}{{3}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Partition of access state space}}{5}}
\newlabel{fig:./figures/logsSP.jpg}{{1}{5}}
\citation{lucio:10}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Safe co-evolution framework}}{6}}
\newlabel{fig:./figures/coEvolution.pdf}{{2}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Safe Co-Evolution}{6}}
\newlabel{sec:safe_co_evolution}{{4}{6}}
\citation{lucio:10}
\citation{Padberg97refinementversus}
\citation{lucio_reach:11}
\citation{Padberg97refinementversus}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Transverse momentum distributions}}{7}}
\newlabel{fig:./figures/finalSP.jpg}{{3}{7}}
\bibstyle{latex8}
\bibdata{./bibliography}
\bibcite{DBLP:journals/entcs/CuppensCG07}{1}
\bibcite{DBLP:conf/policy/KalamBMBCSBDT03}{2}
\bibcite{lucio_reach:11}{3}
\bibcite{lucio:10}{4}
\bibcite{LucQinSouTej:11}{5}
\@writefile{toc}{\contentsline {section}{\numberline {5}Experimentation}{8}}
\newlabel{sec:experimentation}{{5}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Discussion}{8}}
\newlabel{sec:discussion}{{6}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusion}{8}}
\newlabel{sec:conclusion}{{7}{8}}
\bibcite{Padberg97refinementversus}{6}
\bibcite{Ray04anaspect-based}{7}
\bibcite{Rei91}{8}
\bibcite{citeulike:1362491}{9}
\bibcite{DBLP:conf/issre/TraonMB07}{10}
